#ifndef _INTEXT_H_
#define _INTEXT_H_

int instr_callback(char *instr)  ;
#endif
